package tr.edu.ege.kipler.satisfiability.completion;

import tr.edu.ege.kipler.satisfiability.ReasonerException;
import tr.edu.ege.kipler.satisfiability.Reasoner;
import tr.edu.ege.kipler.satisfiability.container.WorldConstraintSystem;

/**
 * 
 * @author İnanç Seylan
 *
 */
public interface CompletionStrategy {
	public void setReasoner(Reasoner reasoner);

	public Reasoner getReasoner();

	public void apply(WorldConstraintSystem currentWcs) throws ReasonerException;
}
